\{$i$$\ldots\,$\} $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\{$j$:$\mathbb{Z}\mid$ $i$ $\leq$ $j$\}